检索结果

期刊

出版年

关键词

Please wait a minute...

选择:

导出引用
EndNote Ris BibTeX

显示/隐藏图片

Select

1. 多实例工作流模式的π演算形式化

梁爱南李长云黄贤明

计算机应用

摘要（1753）

PDF （570KB）（748）

多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究，提出了以π演算作为工作流形式化的基础，利用π演算对多实例工作流模式进行了详细的描述。

相关文章 | 多维度评价

Select

2. 基于动态AOP的构件交互行为监测器

万灿军李长云

计算机应用 0, (): 572-576.

摘要（1187）

PDF （798KB）（855）

在开放、动态的网络环境中，分布式软件呈现出规模庞大、松散聚合、行为复杂等特点，为有效监测其交互行为，提出了基于动态AOP的监测器模型，使得监测器能以更为灵活、松散、透明的方式融入目标系统；利用动态织入机制，能在目标系统运行过程中动态增加或删除监测器，提高了监测的动态性；并在此基础上实现了该监测器并应用于分布式电子商务应用系统中，结果表明该监测器是可行的。